<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<title>TamagoCDL Viewer</title>
<link rel="stylesheet" href="tamagoCDL.css" type="text/css">
</head>
<body>
    
    
    
        <tr>
<td class="name">historic</td>
<td class="type">tamago.ext.aca2.Historic</td>
<td class="access">r</td>
</tr>
        <tr>
<td class="name">play</td>
<td class="type">tamago.ext.aca2.Play</td>
<td class="access">r</td>
</tr>
    
    
        
    
    
    
    
        
    
    
    
    
        <tr>
<td class="name">deposit</td>
<td class="type">void</td>
<td class="ident">deposit</td>
<td class="preexpr">
                
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>clerk
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>banker
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">!=</span>customer
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            
                
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>banker
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    user
                                
                            <span class="exproperateur">!=</span>elisa
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">!=</span>customer
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            
                
    (
    
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            
                
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>banker
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    org
                                
                            <span class="exproperateur">!=</span>Toronto
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">!=</span>customer
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            
                
    (
    
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            
                
    (
    
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            </td>
<td class="postexpr"></td>
</tr>
        <tr>
<td class="name">cancel</td>
<td class="type">void</td>
<td class="ident">cancel</td>
<td class="preexpr">
                
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>clerk
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>banker
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">!=</span>customer
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            
                
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>banker
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    user
                                
                            <span class="exproperateur">!=</span>elisa
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">!=</span>customer
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            
                
    (
    
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            
                
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>banker
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    org
                                
                            <span class="exproperateur">!=</span>Toronto
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">!=</span>customer
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            
                
    (
    
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            
                
    (
    
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            </td>
<td class="postexpr"></td>
</tr>
        <tr>
<td class="name">check</td>
<td class="type">void</td>
<td class="ident">check</td>
<td class="preexpr">
                
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>clerk
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>banker
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">!=</span>customer
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            
                
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>banker
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    user
                                
                            <span class="exproperateur">!=</span>elisa
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">!=</span>customer
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            
                
    (
    
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            
                
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>banker
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    org
                                
                            <span class="exproperateur">!=</span>Toronto
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">!=</span>customer
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            
                
    (
    
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            
                
    (
    
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            </td>
<td class="postexpr"></td>
</tr>
        <tr>
<td class="name">validate</td>
<td class="type">void</td>
<td class="ident">validate</td>
<td class="preexpr">
                
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>clerk
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>banker
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">!=</span>customer
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            
                
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>banker
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    user
                                
                            <span class="exproperateur">!=</span>elisa
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">!=</span>customer
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            
                
    (
    
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            
                
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>banker
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    org
                                
                            <span class="exproperateur">!=</span>Toronto
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">!=</span>customer
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            
                
    (
    
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            
                
    (
    
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            </td>
<td class="postexpr"></td>
</tr>
        <tr>
<td class="name">validate_director</td>
<td class="type">void</td>
<td class="ident">validate_dir</td>
<td class="preexpr">
                
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>clerk
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>banker
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">!=</span>customer
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            
                
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>banker
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    user
                                
                            <span class="exproperateur">!=</span>elisa
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">!=</span>customer
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            
                
    (
    
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            
                
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>banker
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    org
                                
                            <span class="exproperateur">!=</span>Toronto
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">!=</span>customer
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            
                
    (
    
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            
                
    (
    
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            </td>
<td class="postexpr"></td>
</tr>
        <tr>
<td class="name">register</td>
<td class="type">void</td>
<td class="ident">register</td>
<td class="preexpr">
                
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>clerk
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>banker
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">!=</span>customer
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            
                
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>banker
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    user
                                
                            <span class="exproperateur">!=</span>elisa
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">!=</span>customer
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            
                
    (
    
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            
                
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>banker
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    org
                                
                            <span class="exproperateur">!=</span>Toronto
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                
                                    aca
                                
                                
                                    role
                                
                            <span class="exproperateur">!=</span>customer
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            
                
    (
    
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            
                
    (
    
    (
    
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>alphonse
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>boris
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>catherine
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>damien
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>elise
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        user
                                    
                                <span class="exproperateur">=</span>franck
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>customer
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>clerk
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>banker
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        role
                                    
                                <span class="exproperateur">=</span>director
    )
  
    )
  <span class="exproperateur">and</span>
    (
    
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>montreal
    )
  <span class="exproperateur">or</span>
    (
    <span class="exprin">::</span>
                                    
                                        aca
                                    
                                    
                                        org
                                    
                                <span class="exproperateur">=</span>toronto
    )
  
    )
  
    )
  
    )
  
            </td>
<td class="postexpr"></td>
</tr>
    
</body>
</html>
